Verdier and strict Thom stratifications in $\mathrm{o}$-minimal structures
نویسندگان
چکیده
منابع مشابه
Poincaré - Verdier Duality in O-minimal Structures
Here we prove a Poincaré Verdier duality theorem for the ominimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure. RÉSUMÉ. On démontre une dualité de Poincaré Verdier dans le cadre de la cohomologie o-minimale des faisceaux avec support compact et définissable sur un espace définissablement normaux, défin...
متن کاملFinite Orders and Their Minimal Strict Completion Lattices
Whereas the Dedekind-MacNeille completion D(P ) of a poset P is the minimal lattice L such that every element of L is a join of elements of P, the minimal strict completion D(P )∗ is the minimal lattice L such that the poset of join-irreducible elements of L is isomorphic to P. (These two completions are the same if every element of P is joinirreducible). In this paper we study lattices which a...
متن کاملStratifications in Valued Fields
In these notes, I present a new, strong notion of stratifications which describe singularities of sets in Henselian valued fields. In the first part, I give the definition, some examples, and I state the main result about their existence; in the second part, I explain how such a stratification in a valued field induces a classical Whitney stratification in R.
متن کاملStrict Model Structures for Pro-categories
We show that if C is a proper model category, then the pro-category pro-C has a strict model structure in which the weak equivalences are the levelwise weak equivalences. This is related to a major result of [10]. The strict model structure is the starting point for many homotopy theories of pro-objects such as those described in [5], [17], and [19].
متن کاملSubanalytic Stratifications and Bisimulations
Decidability results for the veriication of hybrid systems consist of constructing special nite state quotients called bisimulations whose properties are equivalent to those of the original innnite state system. This approach has had success in the case of timed automata and linear hybrid automata. In this paper, the powerful framework of stratiication theory and subanalytic sets is presented a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 1998
ISSN: 0019-2082
DOI: 10.1215/ijm/1256045049